大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 G. R. (Gordon Raymond) 的图书(共782本)

Runtime Verification [electronic resource] : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

0
索取号:
作者:Barringer、 Howard.、Falcone、 Ylies.、Finkbeiner、 Bernd.、Havelund、 Klaus.、Lee、 Insup.、Pace、 Gordon.、Ro艧u、 Grigore.、Sokolsky、 Oleg.、Tillmann、 Nikolai.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Heterocyclic Scaffolds II: [electronic resource] : Reactions and Applications of Indoles

0
索取号:
作者:Gribble、 Gordon W.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

Testing-Practice and Research Techniques [electronic resource] : 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings

0
索取号:
作者:Bottaci、 Leonardo.、Fraser、 Gordon.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Tests and Proofs [electronic resource] : 4th International Conference, TAP 2010, M谩laga, Spain, July 1-2, 2010. Proceedings

0
索取号:
作者:Fraser、 Gordon.、Gargantini、 Angelo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Programming Languages and Systems [electronic resource] : 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

0
索取号:
作者:Gordon、 Andrew D.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Rigorous Methods for Software Construction and Analysis [electronic resource] : Essays Dedicated to Egon B枚rger on the Occasion of His 60th Birthday

0
索取号:
作者:Abrial、 Jean-Raymond.、Gl盲sser、 Uwe.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Shaped Beam Radiosurgery [electronic resource] : State of the Art

0
索取号:
作者:De Salles、 Antonio A. F.、Gorgulho、 Alessandra.、Agazaryan、 Nzhde.、Slotman、 Ben.、Selch、 Michael.、Burwick、 Aaaron J.、Schulz、 Raymond.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Modelling, Pricing, and Hedging Counterparty Credit Exposure [electronic resource] : A Technical Guide

0
索取号:
作者:Cesari、 Giovanni.、Aquilina、 John.、Charpillon、 Niels.、Filipovic、 Zlatko.、Lee、 Gordon.、Manda、 Ion.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Natural Intelligence for Scheduling, Planning and Packing Problems [electronic resource]

0
索取号:
作者:Chiong、 Raymond.、Dhakal、 Sandeep.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Trustworthy Software Development Processes [electronic resource] : International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings

0
索取号:
作者:Wang、 Qing.、Garousi、 Vahid.、Madachy、 Raymond.、Pfahl、 Dietmar.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Nature-Inspired Algorithms for Optimisation [electronic resource]

0
索取号:
作者:Chiong、 Raymond.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Hydrodynamic Limits of the Boltzmann Equation [electronic resource]

0
索取号:
作者:Saint-Raymond、 Laure.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Rationale-Based Software Engineering [electronic resource]

0
索取号:
作者:Burge、 Janet E.、Carroll、 John M.、McCall、 Raymond.、Mistrik、 Ivan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Computational Intelligence for Agent-based Systems [electronic resource]

0
索取号:
作者:Lee、 Raymond S. T.、Loia、 Vincenzo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Distributed Applications and Interoperable Systems [electronic resource] : 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

0
索取号:
作者:Indulska、 Jadwiga.、Raymond、 Kerry.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Managing Weather and Climate Risks in Agriculture [electronic resource]

0
索取号:
作者:Sivakumar、 Mannava V. K.、Motha、 Raymond P.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
最近添加的分类